Title: Statistical Quality Techniques for the Service Sector Prof. Fugee Tsung Department of Industrial Engineering and Logistics Management Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong

Source URL: www.statistics.gov.hk

• Hong Kong
• Pearl River Delta
• South China Sea
• Quality
• Industrial engineering
• Business
• Technology
• Management

海上垃圾分類調查結果_SC (Clear Water Bay).doc

Source URL: www.epd.gov.hk

TINGTING WANG Tel: (Doctoral Candidate
 Hong Kong University of Science and Technology Fax: (Clear Water Bay, Hong Kong

Source URL: www.bm.ust.hk

• Prosocial behavior
• Cuteness
• Hello Kitty
• Marketing
• Consumer behaviour
• Zoology
• Social psychology
• Behavior
• Behavioural sciences

MSc Program in Intelligent Building Technology & Management TECHNICAL WORKSHOP October 2, 2008 (Thur) 6:00-7:00pm Roomvia Lift 27/28), The Hong Kong University of Science and Technology Clear Water Bay, Hong Ko

Source URL: www.ashrae-hkc.org

• Architecture
• Engineering
• Construction
• HVAC
• American Society of Heating
• Refrigerating and Air-Conditioning Engineers
• Ventilation
• Thermal comfort
• Air conditioning
• Building automation
• Heating
• ventilating
• and air conditioning
• Building biology
• Building engineering

Proving Goal Achievability Fangzhen Lin Department of Computer Science and Engineering Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong

Source URL: www.cs.ust.hk

• Model theory
• Logic programming
• Situation calculus
• Function
• First-order logic
• Interpretation
• Mathematical logic
• Logic
• Mathematics

Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong

Source URL: www.cs.ust.hk

• Philosophical logic
• Logic in computer science
• Model theory
• Modal logic
• First-order logic
• Stable model semantics
• Intuitionistic logic
• Propositional calculus
• Theorem
• Logic
• Mathematical logic
• Non-classical logic

A First-Order Semantics for Golog and ConGolog under a Second-Order Induction Axiom for Situations Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong

Source URL: www.cs.ust.hk

A Formalization of Programs in First-Order Logic with a Discrete Linear Order∗ Fangzhen Lin () Department of Computer Science The Hong Kong University of Science and Technology Clear Water Bay, Kowloon, H

Source URL: www.cs.ust.hk

• Logic in computer science
• Functions and mappings
• Formal methods
• Function
• First-order logic
• Predicate transformer semantics
• FO
• Quasigroup
• Dynamic logic
• Mathematics
• Mathematical logic
• Logic

From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong

Source URL: www.cs.ust.hk

• Mathematics
• Non-classical logic
• Model theory
• Predicate logic
• Modal logic
• Stable model semantics
• First-order logic
• Interpretation
• Autoepistemic logic
• Logic
• Mathematical logic
• Logic programming

Dynamic algorithms for geometric spanners of small diameter: Randomized solutions Sunil Arya 1 Department of Computer Science, Hong Kong University of Science and Technology, Clear Water Bay, Kowloon, Hongkong.

Source URL: www.cse.ust.hk

• Mathematics
• Dimension
• Euclidean plane geometry
• Estimation theory
• Statistical theory
• Computing
• Geometric spanner
• Proximity problems
• Skip list